101. Logic for concurrency and synchronisation
المؤلف: / edited by Ruy J.G.B. de Queiroz
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
102. Logic for concurrency and synchronisation]CD[
المؤلف: edited by Ruy J.G.B. de Queiroz
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
103. Logic for concurrency and synchronisation
المؤلف: / edited by Ruy J.G.B. de Queiroz
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
104. Logic in algebraic form; Three languages and theories
المؤلف: Craig, William
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
105. Logic in algebraic form. Three languages and theories
المؤلف: Craig, William.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebraic logic,، Proof theory
رده :
QA
10
.
C73
106. Logic in algebraic form. Three languages and theories Amsterdam. North-Holland Pub. Co
المؤلف: Craig, William
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Algebraic logic,، Proof theory
رده :
QA
10
.
C7
107. Logic programming :
المؤلف: James H. Andrews
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
108. Logic, proof, and sets
المؤلف: Bittinger, Marvin L.
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
109. Logic, proof, and sets
المؤلف: Bittinger, Marvin L.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
110. Logical foundations of proof complexit
المؤلف: / Stephen Cook, Phuong Nguyen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
267
.
7
,.
C695
,
2010
,
WEB
111. Logical foundations of proof complexity
المؤلف: Cook, Stephen, 8491-
المکتبة: (طهران)
موضوع: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
112. Logical foundations of proof complexity
المؤلف: Cook, Stephen
المکتبة: (طهران)
موضوع: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
113. Math proofs demystifie
المؤلف: / Stan Gibilisco
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory--Popular works,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
G53
,
2005eb
114. Math proofs demystified
المؤلف: / Stan Gibilisco
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Proof theory - Popuar works
رده :
QA
9
.
54
.
G5
2005
115. Math proofs demystified
المؤلف: / Stan Gibilisco
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical,Proof theory , Popular works,Electronic books. , local
رده :
E-BOOK
116. Math proofs demystified /
المؤلف: Stan Gibilisco
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory, Popular works.
رده :
QA9
.
54
.
G53
2005
117. Math proofs demystified ]CD[
پدیدآورنده : Gibilisco, Stan., Stan Gibilisco
موضوع : Popuar works ، Proof theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
118. Mathematical analysis and proof
المؤلف: / by David S.G. Stirling
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Mathematical analysis
رده :
QA9
.
54
.
S757
1997
119. Mathematical analysis and proof /
المؤلف: David S.G. Stirling
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical analysis,Proof theory
رده :
QA9
.
54
.
S75
2009
120. Mathematical analysis and proof
المؤلف: Stirling, David S.G.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Mathematical analysis,، Proof theory
رده :
QA
300
.
S585
1997
